match Delmin((Del(rx)), 0) {

    Delmin(Del(ry),_)->Node(Black, 0, Bool.false, ry)}
